Computer and Modernization ›› 2010, Vol. 1 ›› Issue (3): 184-4.doi: 10.3969/j.issn.1006-2475.2010.03.052
• 算法分析与设计 • Previous Articles Next Articles
CHEN Cai
Received:
Revised:
Online:
Published:
Abstract:
The detection of program invariants is an effective way to improve software quality. Static analysis is one research direction of discovering program invariants. This paper, based on the theory of mathematic and combined with graphical methods, gives a simple and effective static analysis method for the interval invariant, describes its testing process, and validates this method with examples.
Key words: program invariants, static analysis, graphical methods
CHEN Cai. Method for Intervalbased Program Invariant Detection[J]. Computer and Modernization, 2010, 1(3): 184-4.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://www.c-a-m.org.cn/EN/10.3969/j.issn.1006-2475.2010.03.052
http://www.c-a-m.org.cn/EN/Y2010/V1/I3/184